Posh - The Prolog OWL Shell
نویسنده
چکیده
Two of the most common ways of processing and manipulating OWL ontologies are through an ontology editing environment (e.g. Protege or TopBraid) or via a programmatic interface, such as the OWL API. A complementary method is to use an OWL-aware command line shell. Posh, the Prolog OWL Shell is an interactive toplevel readeval-print-loop interface that provides powerful capabilities for querying and transforming ontologies. It includes a bridge to the OWLAPI and to multiple OWL reasoners, and allows a mixture of closed-world rule-based querying on top of open world reasoning. It also provides an interface to POPL, the Prolog Ontology Processing Language. Posh is available from http://blipkit.wordpress.com/posh
منابع مشابه
Any-World Access to OWL from Prolog
The W3C standard OWL provides a decidable language for representing ontologies. While its use is rapidly spreading, efforts are being made by researchers worldwide to augment OWL with additional expressive features or by interlacing it with other forms of knowledge representation, in order to make it applicable for even further purposes. In this paper, we integrate OWL with one of the most succ...
متن کاملA Prolog-based Query Language for OWL
In this paper we investigate how to use logic programming (in particular, Prolog) as query language against OWL resources. Our query language will be able to retrieve data and meta-data about a given OWL based ontology. With this aim, firstly, we study how to define a query language based on a fragment of Description Logic, then we show how to encode the defined query language into Prolog by me...
متن کاملA Query Language for OWL based on Logic Programming
In this paper we investigate how to use logic programming (in particular, Prolog) as query language against OWL resources. Our query language will be able to retrieve data and meta-data about a given OWL based ontology. With this aim, firstly, we study how to define a query language based on a fragment of Description Logic, then we show how to encode the defined query language into Prolog by me...
متن کاملInteroperability results for Semantic Web technologies using OWL as the interchange language
Using Semantic Web technologies in complex scenarios requires that such technologies correctly interoperate by interchanging ontologies using the RDF(S) and OWL languages. This interoperability is not straightforward because of the high heterogeneity in Semantic Web technologies and, while the number of such technologies grows, affordable mechanisms for evaluating Semantic Web technology intero...
متن کاملHD-rules: A Hybrid System Interfacing Prolog with DL-reasoners
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies specified in Description Logics. The system is hybrid: it re-uses XSB Prolog for rule reasoning and existing OWL reasoners for ontology reasoning. This makes it possible to use some Prolog built-ins (like arithmetic) in...
متن کامل